Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

Bringing allegory into the light from the neglect into which it fell means focusing on the wondrous heights of the human spirit in its significance for culture. Contemporary philosophies and literary theories, which give pre-eminence to primary linguistics forms (symbol and metaphor), seem to favor just that which makes intelligible communication possible. But they fall short in accounting for the deepest subliminal founts that prompt the mind to exalt in beauty, virtue, transcending aspiration. The present, rich collection shows how allegory, (...) incorporating the soaring of the spirit, offers highlights for culture, with its fluctuations and transformation. This collective effort, rich in ideas and intuitions and covering a vast range of cultural manifestations, is a pioneering work, retrieving the vision of the exalted human spirit, bringing together literature, theatre, music and painting in a variety of revealing perspectives. The authors include: M. Kronegger, Ch. Raffini, J. Smith, J.B. Williamson, H. Ross, M.F. Wagner, F. Divorne, L. Oppenheim, D.K. Heckerl, N. Campi de Castro, P. Saurez Pascual, M. Alfaro Amieiro, H. Fletcher Thompson, R.J. Wilson III, and A. Stensaas. For specialists, students and workers in philosophy, comparative literature, aesthetic phenomenologists and historians of art. (shrink)

ObjectiveEfforts to understand why some marriages thrive while others falter are not well integrated conceptually and rely heavily on data collected from White middle-class samples. The Vulnerability-Stress-Adaptation Model is used here to integrate prior efforts and is tested using data collected from couples living with low incomes.BackgroundThe VSA Model assumes that enduring vulnerabilities, stress, and couple communication account for unique variance in relationship satisfaction, that communication mediates the effects of vulnerabilities and stress on satisfaction, and that the predictors of satisfaction (...) generalize across socioeconomic levels. To date, these assumptions remain untested.Materials and methodsWith 388 couples from diverse backgrounds, we used latent variable structural equation models to examine enduring vulnerabilities, chronic stress, and observed communication as predictors of 4-wave, 27-month satisfaction trajectories, first as main effects and then interacting with a validated 10-item index of sociodemographic risk.Results The three variable sets independently predict satisfaction trajectories; couple communication does not mediate the effects of enduring vulnerabilities or stress on satisfaction; and in 19% of tests, effects were stronger among couples with higher sociodemographic risk.ConclusionEffects of established predictor domains on satisfaction replicate in a diverse sample of newlywed couples, and most findings generalize across levels of sociodemographic risk. The failure of couple communication to mediate effects of enduring personal vulnerabilities and stress raises new questions about how these two domains undermine committed partnerships. (shrink)

In this study, we attempt to explain the divergent results found in the relationships between supervisor–subordinate guanxi and employee work outcomes. Specifically, we propose that the relationships between supervisor–subordinate guanxi and participatory management, turnover intentions, and organizational commitment are mediated by job satisfaction. Based on the data collected from a sample of 196 employees of three local manufacturing firms in Zhejiang Province, China, we found that job satisfaction fully mediated the effects of supervisor–subordinate guanxi on participatory management and intentions to (...) leave, but partially mediated the relationship between supervisor–subordinate guanxi and organizational commitment. Theoretical and practical implications are discussed. (shrink)

This study investigated the effect of ACEs and COVID-19 on grit and whether this effect is mediated by mindfulness. Although current scholarship has found that adverse childhood experiences have harmful consequences to individuals across the life span, less is known about the relationship between ACEs and grit. Grit is predictive of educational success and subjective wellbeing. A cross-sectional online survey administered to junior and senior students from 12 universities spread across China was conducted from September 20, 2020 to October 5, (...) 2020. The universities were selected from geographically diverse regions of China to ensure a diverse sample. We received 1,871 completed responses from 2,229 invited students. The survey response rate was 83.9%. The results indicated that ACEs had significantly negative effects on grit, while mindfulness had significantly positive effects on grit. Once controlling for level of mindfulness, the effects of ACEs on grit largely reduced and became insignificant. The findings of this research indicate that mindfulness has a significant mediational effect on the relation between ACEs and grit and call for mindfulness-based interventions for enhancing grit for the population at risks. (shrink)

This study used the latent profile transition analysis to analyze whether emotional labor profiles change across time and how these profiles relate to occupational well-being (i.e., job satisfaction, quality of work life, psychological distress, and work–family conflict). A total of 155 full-time Chinese employees completed the questionnaire survey at two time points. Three latent profiles were identified at Time 1 and the same profiles were replicated at Time 2. We determined that the majority of the participants retained the original profiles. (...) Lastly, occupational well-being differed significantly across the identified profiles. The limitations and implications of this study were also provided. (shrink)

Accumulating evidence for the unique social, behavioral, and physical health benefits of positive emotion and related well-being constructs has led to the development and testing of positive psychological interventions (PPIs) to increase emotional well-being and enhance health promotion and disease prevention. PPIs are specifically aimed at improving emotional well-being and consist of practices such as gratitude, savoring, and acts of kindness. The purpose of this narrative review was to examine the literature on PPIs with a particular focus on positive emotion (...) outcomes. We evaluated the evidence on the effects of PPIs on positive emotion specifically, and discussed the range of evidence regarding the relative responsiveness of emotion measures to PPIs in order to gain a better understanding of the specific emotional pathways through which PPIs influence psychological and physical well-being. We conclude with recommendations for best evaluating effects of PPIs on positive emotion outcomes. (shrink)

The food and package delivery workforce in China has grown substantially in the past decade. However, delivery drivers face volatile and stressful work conditions, which can give rise to high turnover and burnout. Past research has indicated that job demands and resources significantly predict burnout. Scholars have also found evidence that mindfulness may be a protective factor against negative outcomes like burnout. Using data collected from 240 food and package delivery drivers in Beijing, China, we examined the effects of JD-R (...) on burnout and whether these relations were moderated by mindfulness. Estimates produced by regression analyses indicated that job demands have significantly positive effects on burnout, while job resources have a significant negative effect on burnout. Mindfulness significantly moderated the effects of JD and JR on burnout. Results suggest that mindfulness is a protective factor for delivery drivers. Practice and policy implications are discussed. (shrink)

The heme‐containing cytochromes P‐450 are a ubiquitous family of monooxygenase isozymes responsible for the oxidative metabolism of a wide variety of endogenous as well as exogenous compounds. Many of the compounds metabolized by this enzyme system are effectively detoxified and converted to derivatives more easily eliminated from the organism. However, some compounds can be activated to reactive species capable of eliciting a cascade of toxic lesions, including cancer. Since its discovery nearly 30 years ago, the cytochrome P‐450 enzyme system has (...) received a great deal of attention, particularly in the areas of their mechanisms of metabolism, range of substrate specificity, the purification and characterization of the multiple isozymes and, more recently, the regulation of expression of specific forms. This review will discuss current notions concerning the expression of at least one cytochrome P‐450 isozyme and future directions that should lead to a more complete understanding of cytochrome P‐450 gene expression in general, particularly as it impacts upon biochemical pharmacology. (shrink)

The article by Academician P. L. Kapitsa published below is devoted to problems of the utmost importance, which have come to be termed "global." The Twenty - fifth Congress of the CPSU pointed to the need to study them scientifically and solve them practically, emphasizing that they touch on the interests of humanity as a whole and will exercise an increasingly marked influence on the lives of every people and on the entire system of international relations. In their social philosophical (...) aspects they have been discussed more than once in the pages of Voprosy filosofii. Discussions of these problems took place at the round tables entitled "Man and His Environment" [See translation in our Fall-Winter 1974 number. — Ed., Soviet Studies in Philosophy], "Social Philosophy Problems of Demography," and "Science and Global Problems of Our Time," and numerous articles have been published in such series as "Science and Social Progress," "The Peace Program and the Dialectics of International Relations" [See translation in our Fall 1975 issue. — Ed., Soviet Studies in Philosophy], and "Man — Society — Nature." The editors of the journal, guided by the directives of the Twenty-fifth Party Congress on the need for further investigation of such global problems of our time, are inclined to continue the discussion of them in the future; another round table devoted to these problems is being planned now. The article by Academician P. L. Kapitsa, it seems to us, will provide fruitful stimuli for discussion at this round table, which will probably be published in several installments. As the author himself emphasizes, certain positions in his article are debatable and require discussion. The journal invites philosophers, demographers, economists, and representatives of the natural sciences to take part in discussions of the problems posed. Certain questions examined in Kapitsa's article are also treated in articles by Howard L. Parsons, A. D. Ado, and Iu. A. Kirshin published in this issue of the journal. (shrink)

The editors of the JRE solicited short essays on the COVID‐19 pandemic from a group of scholars of religious ethics that reflected on how the field might help them make sense of the complex religious, cultural, ethical, and political implications of the pandemic, and on how the pandemic might shape the future of religious ethics.

The terms “competency” and “decision making capacity” are often used interchangeably in the medical setting. Although competency is a legal determination made by judges, “competency” assessments are frequently requested of psychiatrists who are called to consult on hospitalised patients who refuse medical treatment. In these situations, the bioethicist is called to consult frequently as well, sometimes as a second opinion or “tie breaker”. The psychiatric determination of competence, while a clinical phenomenon, is based primarily in legalism and can be quite (...) different from the bioethics approach. This discrepancy highlights the difficulties that arise when a patient is found to be “competent” by psychiatry but lacking in DMC by bioethics. Using a case, this dilemma is explored and guidance for reconciling the opinions of two distinct clinical specialties is offered. (shrink)

The article is a critique of malcolm and the wittgensteinians and their criticisms of russell which the author finds to be "prosecuting russell on false charges." (staff).